1. Computing in Horn Clause Theories
المؤلف: by Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
2. Deduction and declarative programming /
المؤلف: Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming.
رده :
QA76
.
615
.
P33
1992eb
3. Deduction and declarative programming /
المؤلف: Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming.
رده :
QA76
.
615
.
P33
1992eb
